#ifndef PLAT_H
#define PLAT_H

#define PLAT_MEM_BASE 0xa0000000
#define PLAT_MEM_SIZE 0x8000000

#define PLAT_GICD_BASE_ADDR (0x03881000)
#define PLAT_GICC_BASE_ADDR (0x03882000)

#define PLAT_UART_ADDR (0x03100000)
#define UART_IRQ_ID (144)

#endif
